Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
611	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus
612	Microsoft Word - FM08 Tutorial.doc Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-04-01 03:28:00 Logic in computer science Computer science Arvind Year of birth missing Electronic engineering Bluespec Inc. Formal verification Verification Correctness Formal methods Theoretical computer science Applied mathematics
613	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
614	cwru formal logo black no tag Add to Reading List Source URL: www.case.edu Language: English - Date: 2010-09-10 12:40:01 Evaluation methods Management Evaluation Human resource management Quality management
615	Task Supervisor Improving the visibility of critical tasks for IT teams The Business Challenge: Having overall control of IT tasks to support your business operations can be difficult. There are many challenges faced b Add to Reading List Source URL: www.halcyonsoftware.com Language: English - Date: 2015-05-17 08:40:03 IBM Rational Unified Process Software development process Information technology management Software development Science Business process management Formal methods Automation Windows Task Scheduler
616	How and Why to Go Agile Master thesis Submitted by: Advisor: Add to Reading List Source URL: dirkriehle.com Language: English - Date: 2012-12-25 11:21:25 Technology Software project management Formal methods Project management Kanban Scrum Software development process IBM Rational Unified Process Lean software development Software development Agile software development Business
617	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
618	Notes for the Lifebox, the Seashell, and the Soul Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2014-05-29 21:49:28 Computability theory Models of computation Theory of computation Formal methods A New Kind of Science Turing machine Rudy Rucker Halting problem Quantum computer Theoretical computer science Applied mathematics Mathematics
619	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
620	Safe and Reliable Metro Platform Screen Doors Control/Command Systems a 3-year story Thierry Lecomte Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:54:23 Safety Software engineering B-Method Software development process IEC 61508 Model checking Software Formal methods Software development Science

UPDATE